Towards an Event Modeling Language
نویسندگان
چکیده
Object-oriented programming owes part of its popularity to Booch's notation 2], Rumbaugh's OMT 7], and UML 8]. These notations allow object oriented designs to be expressed graphically and furthermore have enabled the development of case tools for object oriented languages. The lack of a suitable high level graphical notation has been identiied as one of the factors discouraging the uptake of functional programming and in particular the language Erlang 1]. This paper represents a rst step in designing a graphical modeling language for functional programming that encourages sound programming practices. The initial target language is Erlang but it is hoped that the notation can be extended to other functional languages.
منابع مشابه
Modeling and Evaluation of Stochastic Discrete-Event Systems with RayLang Formalism
In recent years, formal methods have been used as an important tool for performance evaluation and verification of a wide range of systems. In the view points of engineers and practitioners, however, there are still some major difficulties in using formal methods. In this paper, we introduce a new formal modeling language to fill the gaps between object-oriented programming languages (OOPLs) us...
متن کاملModeling and Evaluation of Stochastic Discrete-Event Systems with RayLang Formalism
In recent years, formal methods have been used as an important tool for performance evaluation and verification of a wide range of systems. In the view points of engineers and practitioners, however, there are still some major difficulties in using formal methods. In this paper, we introduce a new formal modeling language to fill the gaps between object-oriented programming languages (OOPLs) us...
متن کاملTowards OCL/RT
An extension of the “Object Constraint Language” (OCL) for modeling real-time and reactive systems in the “Unified Modeling Language” (UML) is proposed, called OCL/RT. A general notion of events that may carry time stamps is introduced providing means to describe the detailed dynamic and timing behaviour of UML software models. OCL is enriched by satisfaction operators @η for referring to the v...
متن کاملTowards an Event Modeling LanguageMaurice
Object-oriented programming owes part of its popularity to Booch's notation [2], Rumbaugh's OMT [7], and UML [8]. These notations allow object oriented designs to be expressed graphically and furthermore have enabled the development of case tools for object oriented languages. The lack of a suitable high level graphical notation has been identi ed as one of the factors discouraging the uptake o...
متن کاملTowards a Component Based Conceptual Modeling Language for Discrete Event Simulation
Recent studies state the importance of conceptual modeling in simulation life cycles. Proper development of a conceptual model is critical for expressing the context, elements, relationships, limitations and purpose of the simulation study. Surprisingly there are many simulation projects that have no explicit conceptual model, a poorly or only partially developed conceptual model, or incomplete...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2007